« Roll over Beethoven ». La sociologie des arts aux prises avec le polythéisme des valeurs

Des règles aux contraintes avec le langage de modélisation Rules2CP

Dans cet article, nous montrons que le paradigme de représentation des connaissances règles métier, largement utilisé dans l’industrie, peut être développé comme un langage de modélisation pour la programmation par contraintes. Nous présentons un langage de modélisation général à base de règles, nommé Rules2CP, et décrivons sa compilation vers des programmes de contraintes sur les domaines fini...

Sur la répartition des valeurs des fonctions arithmétiques, I. le nombre de facteurs premiers d’un entier

Approche des Valeurs Extrêmes dans la Modélisation des Séries Financières

Résumé. Dans les années 60, les travaux de Mandelbrot sur les fluctuations boursières montrèrent que le modèle gaussien ne convenait pas pour décrire les rendements d’actifs. Mandelbrot (1963) puis Fama (1965) proposèrent la distribution Lévy-stable, dont les propriétés sont très proches de celles des distributions empiriques à queues lourdes, comme alternative pour modéliser les séries financi...

Sur un nouveau vaccin contre la septicémie hémorragique des Bovidés et le Barbone des Buffles (pasteurelloses)

La combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données

Les méthodes utilisées pour la spécification et le développement d’applications de bases de données sont basées soit sur les notations graphiques (appelées méthodes semi-formelles) soit sur des notations mathématiques (appelées méthodes formelles). Les méthodes semi-formelles (E-R, UML, OMT,...) (Jacobson et al., 2005) permettent une représentation intuitive et synthétique du système à étudier....